Search Results
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
ICFP'21 Tutorials - Deductive Verification of OCaml Programs in Cameleer
Precise Inference of Expressive Units of Measurement Types
[Poster] PUnits – Precise Inference of Expressive Units of Measurement Types Poster Presentation
SeaJUG Apr 2009 Detecting and preventing bugs with pluggable type checking
(TAPAS 2020) Moving fast with high reliability using pluggable types.
Read a paper: Python has two type systems
Verification Techniques for Low-Level Programs
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Ranjit Jhala - Language-Integrated Verification
Compiling Symbolic Execution with Staging and Algebraic Effects
Program Synthesis meets Machine Learning
![[Poster] PUnits – Precise Inference of Expressive Units of Measurement Types Poster Presentation](https://img.youtube.com/vi/jF4mNek71U8/hqdefault.jpg)
